Skip to content

Comments

Supply multiple mirrors for Cygwin to download from#19

Merged
fingolfin merged 1 commit intogap-actions:mainfrom
stertooy:mirrors
Feb 16, 2026
Merged

Supply multiple mirrors for Cygwin to download from#19
fingolfin merged 1 commit intogap-actions:mainfrom
stertooy:mirrors

Conversation

@stertooy
Copy link
Contributor

As suggested by @Joseph-Edwards in gap-system/gap#6233 (comment)

This doesn't work perfectly, though, as the Cygwin installer will not always switch to the second mirror if the first one fails. In particular, it is not configured to switch mirrors when it encounters connection error: 12029, which is exactly the error that occured after the recent hardware failure at mirrors.kernel.org.

Maybe a more robust solution would be something like

    - name: "Download and install Cygwin (Mirror 1)"
      uses: cygwin/cygwin-install-action@v6
      continue-on-error: true
      with:
        packages: "${{ inputs.pkgs-to-install}},${{ inputs.extra-pkgs-to-install }}"
        add-to-path: false
        install-dir: C:\cygwin64
        site: [ mirror 1 ]
        
    - name: "Download and install Cygwin (Mirror 2)"
      uses: cygwin/cygwin-install-action@v6
      if: [ only run if previous step failed ]
      with:
        packages: "${{ inputs.pkgs-to-install}},${{ inputs.extra-pkgs-to-install }}"
        add-to-path: false
        install-dir: C:\cygwin64
        site: [ mirror 2 ]

But that does make the action more messy...

@Joseph-Edwards
Copy link

In the first instance, I think this is a good change that adds a backup without adding complexity.

If the connection_error: 12029 is something that starts to happen more frequently, then I think the "more robust" fix would be sensible. Since it seems like a one-off (hopefully), I think the proposed change is sufficient for now.

@fingolfin fingolfin merged commit b5ac5c6 into gap-actions:main Feb 16, 2026
2 checks passed
@fingolfin
Copy link
Member

Thanks! Someone else feel free to (re)tag, I'm afk

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants